381. Truth, syntax and modality
پدیدآورنده : edited by Hugues Leblanc.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical, Congresses.,Semantics, Congresses.
382. Truth, syntax and modality; proceedings of the Temple University Conference on Alternative Semantics
پدیدآورنده : Conference on Alternative Semantics, 0791, Temple University
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Semantics-- Congresses
رده :
BC
135
.
C56
1970
383. Truth, syntax and modality; proceedings of the Temple University Conference on Alternative Semantics
پدیدآورنده : edited by Hugues Leblanc
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Semantics
رده :
BC
135
.
C56
1970
384. Truth, syntax and modality: proceedings of the Temple University Conference on Alternative semantics
پدیدآورنده : edited by Hugues Leblance
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Semantics
رده :
BC
135
.
C56
1970
385. Nonclassical logics and information processing : international workshop, Berlin , November 9-10, 1990 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Artificial intelligence-- Congresses
رده :
QA
76
.
5
.
N664
1992
386. numeric computation-Symbolic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computable functions ; Data processing ; Congresses. ; Numerical analysis ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
387. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
پدیدآورنده : edited by W. Bibel and R. Kowalski
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
87
388. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
پدیدآورنده : edited by W. Bibel and R. Kowalski
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
87
389. 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982
پدیدآورنده : / edited by D.W. Loveland
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
76
.
9
,.
A96
,
C66
,
1982
390. 9th International Conference on Automated Deduction :
پدیدآورنده : E. Lusk, R. Overbeek (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving-- Congresses.,Logic, Symbolic and mathematical-- Congresses.
رده :
QA76
.
9
.
A96
I57
1988
391. 8th International Conference on Automated Deduction :
پدیدآورنده : edited by Jörg H. Siekmann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving -- Congresses.,Automatic theorem proving.,Logic, Symbolic and mathematical -- Congresses.
392. 8th International Conference on Automated Deduction
پدیدآورنده : edited by Jپ rg H. Siekmann
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : Automatic theorem proving -- Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA
76
.
9
.
A96
,
I57
1986
393. 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988: Proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
9
.
A96
.
I57
1988
394. 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, proceedings
پدیدآورنده : E. Lusk, R. Overbeek )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
310
395. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
پدیدآورنده : edited by R.E. Shostak
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
170
396. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
پدیدآورنده : edited by R.E. Shostak
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
170
397. 8th International Conference on Automated Deduction : Oxford, England, July 27 - August 1, 1986: Proceedings
پدیدآورنده : edited by Jorg H. Siekmann
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
230
398. 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings
پدیدآورنده : edited by Jorg H. Siekmann
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
230
